Advanced 6. Planning With Temporal Logic

Advanced 6. Planning with Temporal Logic

MIT OpenCourseWare

Lamport on Temporal Logic of Actions and refinement mapping

Turing Awardee Clips

Jana Tumova - Motion planning with temporal logic tasks and constraints

IRLab University of Birmingham

Reactive Sampling-Based Path Planning with Temporal Logic Specifications

Signal Temporal Logic Compliant Co-design of Planning and Control

Human-In-The-Loop Mixed-Initiative Control under Temporal Tasks

A Hierarchical Decoupling Approach for Fast Temporal Logic Motion Planning (specification)

Explaining multi-stage tasks by learning temporal logic formulas from suboptimal demonstrations

University of Michigan ARM Lab

KR 2021 Tutorial: Planning with Multi-agent, Flexible, Temporal, Epistemic and Contingent Aspects

KR conference series

Synthesis of Deceptive Cyberdefense with Temporal Logic Constraints

Task Planning and Motion Control with Temporal Logic Specifications

Optimal Assignment and Temporal Logic Planning for Positioning of Threat-Seduction Decoys

What to Do When You Can't Do It All:Temporal Logic Planning with Soft Temporal Logic Constraints.

Temporal Logic Task Planning with Active Acquisition of Information

Hierarchical Task Allocation and Planning under Hierarchical Temporal Logic Specifications

Simultaneous Task Allocation and Planning for Temporal Logic Goals

RSS 2020, Spotlight Talk 4: Elaborating on Learned Demonstrations with Temporal Logic Specifications

Robotics Science and Systems

LTL2

A Human-In-the-Loop, LTL Planning and Control ROS Package - Turtlebot Example Demonstration

Distributed Hybrid Systems Group